reduced to conjectures